package com.googlecode.intellimars.winstone;

import com.intellij.execution.configurations.coverage.CoverageConfigurable;
import com.intellij.execution.util.JreVersionDetector;
import com.intellij.openapi.project.Project;

public class WinstoneCoverageConfigurationEditor extends CoverageConfigurable<WinstoneConfiguration> {
    private JreVersionDetector jreVersionDetector;

    public WinstoneCoverageConfigurationEditor(Project project) {
        super(project);
        jreVersionDetector = new JreVersionDetector();
    }

    @Override
    protected boolean isJre50Configured(WinstoneConfiguration config) {
        return jreVersionDetector.isJre50Configured(config,
                                                    config.ALTERNATIVE_JRE_PATH_ENABLED,
                                                    config.ALTERNATIVE_JRE_PATH);
    }
}

